home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / elaborate / misc.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  769 b   |  35 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. (* misc.sig *)
  3.  
  4. signature MISC =
  5. sig
  6.  
  7.   (* val ASTERISKsym : Symbol.symbol not used *)
  8.   val EQUALsym : Symbol.symbol
  9.  
  10.   val for : 'a list -> ('a -> 'b) -> unit
  11.  
  12.   val sort3 : (Symbol.symbol * 'a * 'b) list -> (Symbol.symbol * 'a * 'b) list
  13.  
  14.   val bogusID : Symbol.symbol
  15.   val bogusExnID : Symbol.symbol
  16.   val bogusExp: Absyn.exp
  17.  
  18.   val anonParamName : Symbol.symbol
  19. (* not used anymore ?
  20.   val nullSigStamp : int
  21.   val nullSig : Basics.Structure
  22.  
  23.   
  24.   val nullStr : Basics.Structure
  25.   val nullParamVar : Basics.structureVar 
  26. *)
  27.  
  28.   val discard : 'a -> unit
  29.   val single : 'a -> 'a list
  30.  
  31.   val varcon : Modules.binding -> Absyn.exp
  32.  
  33.   val checkbound: TyvarSet.tyvarset * Types.tyvar list * ErrorMsg.complainer -> unit
  34. end
  35.